223 research outputs found
On the Complexity of Chore Division
We study the proportional chore division problem where a protocol wants to
divide an undesirable object, called chore, among different players. The
goal is to find an allocation such that the cost of the chore assigned to each
player be at most of the total cost. This problem is the dual variant of
the cake cutting problem in which we want to allocate a desirable object.
Edmonds and Pruhs showed that any protocol for the proportional cake cutting
must use at least queries in the worst case, however,
finding a lower bound for the proportional chore division remained an
interesting open problem. We show that chore division and cake cutting problems
are closely related to each other and provide an lower bound
for chore division
The Satisfiability Threshold of Random 3-SAT Is at Least 3.52
We prove that a random 3-SAT instance with clause-to-variable density less
than 3.52 is satisfiable with high probability. The proof comes through an
algorithm which selects (and sets) a variable depending on its degree and that
of its complement
Fixed-Parameter Tractability of Directed Multiway Cut Parameterized by the Size of the Cutset
Given a directed graph , a set of terminals and an integer , the
\textsc{Directed Vertex Multiway Cut} problem asks if there is a set of at
most (nonterminal) vertices whose removal disconnects each terminal from
all other terminals. \textsc{Directed Edge Multiway Cut} is the analogous
problem where is a set of at most edges. These two problems indeed are
known to be equivalent. A natural generalization of the multiway cut is the
\emph{multicut} problem, in which we want to disconnect only a set of given
pairs instead of all pairs. Marx (Theor. Comp. Sci. 2006) showed that in
undirected graphs multiway cut is fixed-parameter tractable (FPT) parameterized
by . Marx and Razgon (STOC 2011) showed that undirected multicut is FPT and
directed multicut is W[1]-hard parameterized by . We complete the picture
here by our main result which is that both \textsc{Directed Vertex Multiway
Cut} and \textsc{Directed Edge Multiway Cut} can be solved in time
, i.e., FPT parameterized by size of the cutset of
the solution. This answers an open question raised by Marx (Theor. Comp. Sci.
2006) and Marx and Razgon (STOC 2011). It follows from our result that
\textsc{Directed Multicut} is FPT for the case of terminal pairs, which
answers another open problem raised in Marx and Razgon (STOC 2011)
Parameterized Complexity of Problems in Coalitional Resource Games
Coalition formation is a key topic in multi-agent systems. Coalitions enable
agents to achieve goals that they may not have been able to achieve on their
own. Previous work has shown problems in coalitional games to be
computationally hard. Wooldridge and Dunne (Artificial Intelligence 2006)
studied the classical computational complexity of several natural decision
problems in Coalitional Resource Games (CRG) - games in which each agent is
endowed with a set of resources and coalitions can bring about a set of goals
if they are collectively endowed with the necessary amount of resources. The
input of coalitional resource games bundles together several elements, e.g.,
the agent set Ag, the goal set G, the resource set R, etc. Shrot, Aumann and
Kraus (AAMAS 2009) examine coalition formation problems in the CRG model using
the theory of Parameterized Complexity. Their refined analysis shows that not
all parts of input act equal - some instances of the problem are indeed
tractable while others still remain intractable.
We answer an important question left open by Shrot, Aumann and Kraus by
showing that the SC Problem (checking whether a Coalition is Successful) is
W[1]-hard when parameterized by the size of the coalition. Then via a single
theme of reduction from SC, we are able to show that various problems related
to resources, resource bounds and resource conflicts introduced by Wooldridge
et al are 1. W[1]-hard or co-W[1]-hard when parameterized by the size of the
coalition. 2. para-NP-hard or co-para-NP-hard when parameterized by |R|. 3. FPT
when parameterized by either |G| or |Ag|+|R|.Comment: This is the full version of a paper that will appear in the
proceedings of AAAI 201
The bidimensionality theory and its algorithmic applications
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2005.Includes bibliographical references (p. 201-219).Our newly developing theory of bidimensional graph problems provides general techniques for designing efficient fixed-parameter algorithms and approximation algorithms for NP- hard graph problems in broad classes of graphs. This theory applies to graph problems that are bidimensional in the sense that (1) the solution value for the k x k grid graph (and similar graphs) grows with k, typically as Q(k²), and (2) the solution value goes down when contracting edges and optionally when deleting edges. Examples of such problems include feedback vertex set, vertex cover, minimum maximal matching, face cover, a series of vertex- removal parameters, dominating set, edge dominating set, r-dominating set, connected dominating set, connected edge dominating set, connected r-dominating set, and unweighted TSP tour (a walk in the graph visiting all vertices). Bidimensional problems have many structural properties; for example, any graph embeddable in a surface of bounded genus has treewidth bounded above by the square root of the problem's solution value. These properties lead to efficient-often subexponential-fixed-parameter algorithms, as well as polynomial-time approximation schemes, for many minor-closed graph classes. One type of minor-closed graph class of particular relevance has bounded local treewidth, in the sense that the treewidth of a graph is bounded above in terms of the diameter; indeed, we show that such a bound is always at most linear. The bidimensionality theory unifies and improves several previous results.(cont.) The theory is based on algorithmic and combinatorial extensions to parts of the Robertson-Seymour Graph Minor Theory, in particular initiating a parallel theory of graph contractions. The foundation of this work is the topological theory of drawings of graphs on surfaces and our results regarding the relation (the linearity) of the size of the largest grid minor in terms of treewidth in bounded-genus graphs and more generally in graphs excluding a fixed graph H as a minor. In this thesis, we also develop the algorithmic theory of vertex separators, and its relation to the embeddings of certain metric spaces. Unlike in the edge case, we show that embeddings into L₁ (and even Euclidean embeddings) are insufficient, but that the additional structure provided by many embedding theorems does suffice for our purposes. We obtain an O[sq. root( log n)] approximation for min-ratio vertex cuts in general graphs, based on a new semidefinite relaxation of the problem, and a tight analysis of the integrality gap which is shown to be [theta][sq. root(log n)]. We also prove various approximate max-flow/min-vertex- cut theorems, which in particular give a constant-factor approximation for min-ratio vertex cuts in any excluded-minor family of graphs. Previously, this was known only for planar graphs, and for general excluded-minor families the best-known ratio was O(log n). These results have a number of applications. We exhibit an O[sq. root (log n)] pseudo-approximation for finding balanced vertex separators in general graphs.(cont.) Furthermore, we obtain improved approximation ratios for treewidth: In any graph of treewidth k, we show how to find a tree decomposition of width at most O(k[sq. root(log k)]), whereas previous algorithms yielded O(k log k). For graphs excluding a fixed graph as a minor, we give a constant-factor approximation for the treewidth; this via the bidimensionality theory can be used to obtain the first polynomial-time approximation schemes for problems like minimum feedback vertex set and minimum connected dominating set in such graphs.by MohammadTaghi Hajiaghayi.Ph.D
- …